More from this Author

Verification, Model Checking, and Abstract Interpretation

by E. Allen Emerson, Kedar S. Namjoshi, Byron Cook (Editor), Andreas Podelski (Editor)

Computer Aided Verification

by Tayssir Touili (Editor), Byron Cook (Editor), Paul Jackson (Editor)

Formal Methods for Industrial Critical Systems

by María Alpuente (Editor), Byron Cook (Editor), Christophe Joubert (Editor), María Alpuente (Editor)